Biblioteca Dr. Antonio Monteiro · Catálogo | |
03 | Mathematical logic and foundations | ||
03D | Computability and recursion theory | ||
03D45 | Theory of numerations, effectively presented structures [See also 03C57; for intuitionistic and similar approaches see 03F55] | ||
03F | Proof theory and constructive mathematics | ||
03F65 | Other constructive mathematics [See also 03D45] | ||
68 | Computer science | ||
68-99 | Computer science (not classified at a more specific level) |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com